Formalizing Ontological Commitments
نویسندگان
چکیده
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving explicit information about the intended nature of the modelling primitives and their a priori relationships. We present here a formal definition of ontological commitment which aims to capture the very basic ontological assumptions about the intended domain, related to issues such as identity and internal structure. To tackle such issues, a modal framework endowed with mereo-topological primitives has been adopted. The paper is mostly based on a revisitation of philosophical (and linguistic) literature in the perspective of knowledge representation.
منابع مشابه
Ideological parsimony
The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds: ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative par...
متن کاملOntological Commitments of Ethics and Economics
This paper analyses the cognitive image schemas structuring the ontological commitments of dominant conceptions of ethics and economics to show that the content of economics is implicated in conceptions of ethics, and that these conceptions cannot be separated from questions of research and professional ethics. This analysis of the metaphoric structuring of the ontological commitments of ethics...
متن کاملTruthmaker commitments
On the truthmaker view of ontological commitment [Heil (From an ontological point of view, 2003); Armstrong (Truth and truthmakers, 2004); Cameron (Philosophical Studies, 2008)], a theory is committed to the entities needed in the world for the theory to be made true. I argue that this view puts truthmaking to the wrong task. None of the leading accounts of truthmaking—via necessitation, superv...
متن کاملOntological commitments in FunGramKB Criterios ontológicos en FunGramKB
Ontology engineering should be grounded on a protocol of well-founded guidelines concerning the structuring of the ontology as well as the elements to be included and their ontological properties. A sound methodology for ontology development involves a dramatic reduction of many common errors and inconsistencies in conceptual modelling, facilitating thus interoperatibility and knowledge sharing...
متن کامل